/* Hello World program */

#include<stdio.h>

char * hello_license = "123-abc";
char * world_license = "23-de";

int main()
{
	validate_hello(hello_license);
	hello();
	printf(" ");
	validate_world(world_license);
	world();
	printf("\n");
	
	return 0;
}
